A Phase-Based Approach to Creating Highly Reliable Software
نویسنده
چکیده
)*+ ,./ 0 123456789*: ;<=;>?@AB CDEF+GHIJ9*KLK1MNOPQ RS; TUVWX Y Z[KLK\]I^_`abcdefgh;ijk lmn=TUo)* pL qr;stuv 0 wVxy z{|};~ 0 TUxy ) I; 0 [y fMI$ 8 Nq F/ M ¡I ¢£¤¥ / ¦§ ̈y©a+ « ¬¤def ®; ̄°±2; 3 ́D;3 ́yμ¶· C ̧;1o / »1⁄41⁄23⁄4I ¿H@ yμzÀ Á_=Âà ,-ÄÅÆÇYÈ ÉÊI ËzyÌf 0¤¥ ÍÎI$ $$$$HL;ÏÐ ÑÒÓÔfÄŬ¤ yμMÕ d: ;<=@Ö» ®I×*ØÙÔdf 0Ú; 21MCÖ» 0à IÛ;Jܶ·ÝLÞßà;¬¤Cáâ V1 ¦§[y / ; ¶·eF ã*V®ä MåæI$
منابع مشابه
Model Based Object - Oriented Software Testing
Testing is an important phase of quality control in Software development. Software testing is necessary to produce highly reliable systems. The use of a model to describe the behavior of a system is a proven and major advantage to test. In this paper, we focus on model-based testing. The term model-based testing refers to test case derivation from a model representing software behavior. We disc...
متن کاملTowards Modelling Real Time Constraints
Software agents are highly autonomous, situated and interactive software components. They autonomously sense their environment and respond accordingly. Agents behaviours are often constrained by by real time constraints such as the time in which the agent is expected to respond .i.e. time needed for a task to complete. Failing to meet such a constraint can result in a task being not achieved. T...
متن کاملProduction of Branding Model for Health Services Based on Clients’ Expectations Approach
Background and Aim: One of the reasons that caused healths clients are feeling dissatisfaction with health organizations is expectations that they are creating and not able to meet according to their expectations. Therefore, the present study was conducted with the aim of production a branding model for health services with the of clients’ expectations approach. Materials and Methods: This com...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملFault Severity based Multi Up-gradation Modeling considering Testing and Operational Profile
For sustaining in the era of globalization, frequent up-gradation in the software is demanded. In order to maintain the competitive edge firms come up with highly reliable versions. For providing high reliability firms have to test software rigorously that requires debugging the software in the testing as well as in the operational phase. Upgrading the software leads to the enlarged complexity ...
متن کامل